大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Davos Symposium 的图书(共2371本)

Logic-Based Program Synthesis and Transformation [electronic resource] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

0
索取号：
作者：King、 Andy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Programming Languages and Systems [electronic resource] : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

0
索取号：
作者：Drossopoulou、 Sophia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Trustworthy Global Computing [electronic resource] : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

0
索取号：
作者：Barthe、 Gilles.、Fournet、 C茅dric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings

0
索取号：
作者：Nguyen、 Ngoc Thanh.、Jo、 Geun Sik.、Howlett、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

European Robotics Symposium 2008 [electronic resource]

0
索取号：
作者：Bruyninckx、 Herman.、P艡eu膷il、 Libor.、Kulich、 Miroslav.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning [electronic resource] : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers

0
索取号：
作者：Tuyls、 Karl.、Nowe、 Ann.、Guessoum、 Zahia.、Kudenko、 Daniel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Hybrid RANS-LES Modelling [electronic resource] : Papers contributed to the 2007 Symposium of Hybrid RANS-LES Methods, Corfu, Greece, 17-18 June 2007

0
索取号：
作者：Peng、 Shia-Hui.、Haase、 Werner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

High-Performance Computing [electronic resource] : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers

0
索取号：
作者：Labarta、 Jes煤s.、Joe、 Kazuki.、Sato、 Toshinori.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Foundations of Information and Knowledge Systems [electronic resource] : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

0
索取号：
作者：Hartmann、 Sven.、Kern-Isberner、 Gabriele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Graph Drawing [electronic resource] : 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers

0
索取号：
作者：Hong、 Seok-Hee.、Nishizeki、 Takao.、Quan、 Wu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Experimental Robotics [electronic resource] : The 10th International Symposium on Experimental Robotics

0
索取号：
作者：Khatib、 Oussama.、Kumar、 Vijay.、Rus、 Daniela.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Practical Aspects of Declarative Languages [electronic resource] : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings

0
索取号：
作者：Hudak、 Paul.、Warren、 David S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software Composition [electronic resource] : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

0
索取号：
作者：Lumpe、 Markus.、Vanderperren、 Wim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007. Proceedings

0
索取号：
作者：Bozta艧、 Serdar.、Lu、 Hsiao-Feng (Francis).、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Image and Video Technology [electronic resource] : Second Pacific Rim Symposium, PSIVT 2007 Santiago, Chile, December 17-19, 2007 Proceedings

0
索取号：
作者：Mery、 Domingo.、Rueda、 Luis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Algorithms and Computation [electronic resource] : 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007. Proceedings

0
索取号：
作者：Tokuyama、 Takeshi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.